Probability Aggregates in Probability Answer Set Programming
نویسنده
چکیده
Probability answer set programming [Saad and Pontelli, 2006; Saad, 2006; Saad, 2007a] is a declarative programming that has been shown effective for representing and reasoning about a variety of probability reasoning tasks [Saad, 2008a; Saad, 2011; Saad, 2007b; Saad, 2009; Saad, 2008b]. However, the lack of probability aggregates, e.g. expected values, in the language of disjunctive hybrid probability logic programs (DHPP) [Saad, 2007a] disallows the natural and concise representation of many interesting problems. In this paper, we extend DHPP to allow arbitrary probability aggregates. We introduce two types of probability aggregates; a type that computes the expected value of a classical aggregate, e.g., the expected value of the minimum, and a type that computes the probability of a classical aggregate, e.g, the probability of sum of values. In addition, we define a probability answer set semantics for DHPP with arbitrary probability aggregates including monotone, antimonotone, and nonmonotone probability aggregates. We show that the proposed probability answer set semantics of DHPP subsumes both the original probability answer set semantics of DHPP [Saad, 2007a] and the classical answer set semantics of classical disjunctive logic programs with classical aggregates [Faber et al., 2010], and consequently subsumes the classical answer set semantics of the original disjunctive logic programs [Gelfond and Lifschitz, 1991]. We show that the proposed probability answer sets of DHPP with probability aggregates are minimal probability models and hence incomparable, which is an important property for nonmonotonic probability reasoning.
منابع مشابه
Logical Stochastic Optimization
We present a logical framework to represent and reason about stochastic optimization problems based on probability answer set programming [Saad and Pontelli, 2006; Saad, 2006; Saad, 2007a]. This is established by allowing probability optimization aggregates, e.g., minimum and maximum in the language of probability answer set programming to allow minimization or maximization of some desired crit...
متن کاملLogical Probability Preferences
We present a unified logical framework for representing and reasoning about both probability quantitative and qualitative preferences in probability answer set programming [Saad and Pontelli, 2006; Saad, 2006; Saad, 2007a], called probability answer set optimization programs. The proposed framework is vital to allow defining probability quantitative preferences over the possible outcomes of qua...
متن کاملEffects of Probability Function on the Performance of Stochastic Programming
Stochastic programming is a valuable optimization tool where used when some or all of the design parameters of an optimization problem are defined by stochastic variables rather than by deterministic quantities. Depending on the nature of equations involved in the problem, a stochastic optimization problem is called a stochastic linear or nonlinear programming problem. In this paper,a stochasti...
متن کاملNested Aggregates in Answer Sets: An Application to a Priori Optimization
We allow representing and reasoning in the presence of nested multiple aggregates over multiple variables and nested multiple aggregates over functions involving multiple variables in answer sets, precisely, in answer set optimization programming and in answer set programming. We show the applicability of the answer set optimization programming with nested multiple aggregates and the answer set...
متن کاملFuzzy Aggregates in Fuzzy Answer Set Programming
Fuzzy answer set programming [Saad, 2010; Saad, 2009; Subrahmanian, 1994] is a declarative framework for representing and reasoning about knowledge in fuzzy environments. However, the unavailability of fuzzy aggregates in disjunctive fuzzy logic programs, DFLP, with fuzzy answer set semantics [Saad, 2010] prohibits the natural and concise representation of many interesting problems. In this pap...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/1304.1684 شماره
صفحات -
تاریخ انتشار 2013